- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by J. D. Halpern
10 found
Order:
- On the interpretability of arithmetic in set theory.George E. Collins & J. D. Halpern - 1970 - Notre Dame Journal of Formal Logic 11 (4):477-483.
- A Partition Theorem.J. D. Halpern - 1974 - Journal of Symbolic Logic 39 (1):181-182.
- Logic: Form and Function : The Mechanization of Deductive Reasoning.J. D. Halpern - 1979 - New York, NY, USA: North-Holland.
- The Independence of the Axiom of Choice from the Boolean Prime Ideal Theorem.J. D. Halpern - 1967 - Journal of Symbolic Logic 32 (2):273-274.
- Logic: Form and Function. The Mechanization of Deductive Reasoning.J. D. Halpern - 1986 - Journal of Symbolic Logic 51 (1):227-229.
- Bleicher M. N.. Multiple choice axioms and axioms of choice for finite sets. Fundamenta mathematicae, vol. 57 , pp. 247–252. [REVIEW]J. D. Halpern - 1967 - Journal of Symbolic Logic 32 (2):273-273.
- Review: J. A. Robinson, Logic: Form and Function. The Mechanization of Deductive Reasoning. [REVIEW]J. D. Halpern - 1986 - Journal of Symbolic Logic 51 (1):227-229.
- Robinson J. A.. Logic: form and function. The mechanization of deductive reasoning. Artificial intelligence series. North-Holland, New York 1979, vi + 312 pp. [REVIEW]J. D. Halpern - 1986 - Journal of Symbolic Logic 51 (1):227-229.
- Review: M. N. Bleicher, Some Theorems on Vector Spaces and the Axiom of Choice. [REVIEW]J. D. Halpern - 1967 - Journal of Symbolic Logic 32 (2):272-273.
- Review: M. N. Bleicher, Multiple Choice Axioms and Axioms of Choice for Finite Sets. [REVIEW]J. D. Halpern - 1967 - Journal of Symbolic Logic 32 (2):273-273.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-zf4z4 uwo